Typing for Interactive Symbolic Computation
نویسنده
چکیده
منابع مشابه
Comparing Control Constructs by Double-Barrelled CPS
We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abstraction gives rise to different control operators: first-class continuations; dynamic control; and (depending on a further choice of a variable) either the return statement of C; or Landin’s J-operator. In each case there is an associated simple ...
متن کاملThe RISC ProofNavigator Tutorial and Manual1
This document describes the use of the RISC ProofNavigator, an interactive proving assistant for program and system reasoning developed at the Research Institute for Symbolic Computation (RISC).
متن کاملA Linear Constraint Technology for Interactive Graphic Systems
Constraints provide a natural formalism for user-interface design and graphical layout. Recent results and algorithms from symbolic computation and geometry provide new techniques to manipulate linear arithmetic constraints. We show how these results can be applied to interactive graphical user-interfaces and how they extend the capabilities of previous interactive constraint-based user interfa...
متن کاملSymbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملSymbolic It^ O Calculus in Axiom: an Ongoing Story Symbolic It^ O Calculus in Axiom: an Ongoing Story
Symbolic It^ o calculus refers both to the implementation of It^ o calculus in a computer algebra package and to its application. This article 1 reports on progress in the implementation of It^ o calculus in the powerful and innovative computer algebra package AXIOM, in the context of a decade of previous implementations and applications. It is shown how the elegant algebraic structure underlyi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995